1. Complexity theory : current research
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computational complexity
رده :
QA
267
.
7
.
C665
1993
2. Complexity theory : current research
پدیدآورنده : edited by Klaus Ambos-Spies, Steven Homer, Uwe Schoning
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computational complexity
رده :
QA
267
.
7
.
C656
3. Logic for computer scientists
پدیدآورنده : Schoning, Uwe, 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Logic programming
رده :
QA
9
.
S363
1989
4. Logic for computer scientists
پدیدآورنده : Schoning, Uw
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Logic programming
رده :
QA
9
.
S363
1989
5. Structural Complexity II
پدیدآورنده : by José Luis Balcázar, Josep Díaz, Joaquim Gabarró.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.
رده :
QA267
.
B956
1990
6. The graph isomorphism problem : its structural complexity
پدیدآورنده : Kobler, Johannes
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Computational complexity,، Graph theory -- Data processing,، Isomorphisms )Mathematics(
رده :
QA
267
.
7
.
K63
1993
7. The graph isomorphism problem : its structural complexity
پدیدآورنده : Kobler, Johannes, 8591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computational complexity,Data processing ، Graph theory,، Isomorphisms )Mathematics(
رده :
QA
267
.
7
.
K625
8. منطق براي علوم کامپيوتر
پدیدآورنده : / تاليف: اوو شئونيگ,عنوان اصلي: 1989 ,Logik fur Informatiker,شونينگ,Schoning
کتابخانه: كتابخانه امام رضا (ع) "قوچان" (آستان قدس رضوی) (خراسان رضوی)
موضوع : منطق رياضي,برنامه‌نويسي منطقي
رده :
۵۱۱
/
۳
ش
۷۳۶
م
9. منطق براي علوم کامپيوتر
پدیدآورنده : / تاليف: اوو شئونيگ,عنوان اصلي: 1989 ,Logik fur Informatiker,شونينگ,Schoning
کتابخانه: كتابخانه آيت الله حكيم (ره) (آستان قدس رضوی ع) (تهران)
موضوع : منطق رياضي,برنامه‌نويسي منطقي
رده :
۵۱۱
/
۳
ش
۷۳۶
م
10. منطق براي علوم کامپيوتر
پدیدآورنده : / تاليف: اوو شئونيگ,عنوان اصلي: 1989 ,Logik fur Informatiker,شونينگ,Schoning
کتابخانه: کتابخانه آیت الله حاج شیخ مجتبی قزوینی (آستان قدس رضوی ع) (خراسان رضوی)
موضوع : منطق رياضي,برنامه‌نويسي منطقي
رده :
۵۱۱
/
۳
ش
۷۳۶
م
11. منطق براي علوم کامپيوتر
پدیدآورنده : / تاليف: اوو شئونيگ,عنوان اصلي: 1989 ,Logik fur Informatiker,شونينگ,Schoning
کتابخانه: كتابخانه مركزی آستان قدس رضوی (ع) - گردش و امانت آقايان (خراسان رضوی)
موضوع : منطق رياضي,برنامه‌نويسي منطقي
رده :
۵۱۱
/
۳
ش
۷۳۶
م
12. منطق براي علوم کامپيوتر
پدیدآورنده : / تاليف: اوو شئونيگ,عنوان اصلي: 1989 ,Logik fur Informatiker,شونينگ,Schoning
کتابخانه: كتابخانه امام رضا (ع) "درگز" (آستان قدس رضوی) (خراسان رضوی)
موضوع : منطق رياضي,برنامه‌نويسي منطقي
رده :
۵۱۱
/
۳
ش
۷۳۶
م
13. منطق براي علوم کامپيوتر
پدیدآورنده : / تاليف: اوو شئونيگ,عنوان اصلي: 1989 ,Logik fur Informatiker,شونينگ,Schoning
کتابخانه: كتابخانه علامه شوشتری (آستان قدس رضوی ع) (خوزستان)
موضوع : منطق رياضي,برنامه‌نويسي منطقي
رده :
۵۱۱
/
۳
ش
۷۳۶
م
14. منطق براي علوم کامپيوتر
پدیدآورنده : / تاليف: اوو شئونيگ,عنوان اصلي: 1989 ,Logik fur Informatiker,شونينگ,Schoning
کتابخانه: كتابخانه مركزی آستان قدس رضوی (ع) - تالار قفسه باز آقايان (خراسان رضوی)
موضوع : منطق رياضي,برنامه‌نويسي منطقي
رده :
۵۱۱
/
۳
ش
۷۳۶
م
15. منطق براي علوم کامپيوتر
پدیدآورنده : / تاليف: اوو شئونيگ,عنوان اصلي: 1989 ,Logik fur Informatiker,شونينگ,Schoning
کتابخانه: كتابخانه مركزی آستان قدس رضوی (ع) - تالار نوجوان پسر (خراسان رضوی)
موضوع : منطق رياضي,برنامه‌نويسي منطقي
رده :
۵۱۱
/
۳
ش
۷۳۶
م
16. منطق برای علوم کا‌مپیوتر
پدیدآورنده : تا‌لیف اوو شئونیگ,مترجم لطف‌الله اسکندری
موضوع : منطق ریا‌ضی,برنا‌مه‌نویسی منطقی
۷ نسخه از این کتاب در ۲ کتابخانه موجود است.
17. منطق براي علوم کامپيوتر
پدیدآورنده : / تاليف: اوو شئونيگ,عنوان اصلي: 1989 ,Logik fur Informatiker,شونينگ,Schoning
کتابخانه: کتابخانه مرکزی آستان قدس رضوی (خراسان رضوی)
موضوع : منطق رياضي,برنامه‌نويسي منطقي
رده :
۵۱۱
/
۳
ش
۷۳۶
م
18. منطق براي علوم کامپيوتر
پدیدآورنده : / تاليف: اوو شئونيگ,عنوان اصلي: 1989 ,Logik fur Informatiker,شونينگ,Schoning
کتابخانه: كتابخانه امام رضا (ع) "بیرجند" (آستان قدس رضوی) (خراسان جنوبی)
موضوع : منطق رياضي,برنامه‌نويسي منطقي
رده :
۵۱۱
/
۳
ش
۷۳۶
م
19. منطق براي علوم کامپيوتر
پدیدآورنده : / تاليف: اوو شئونيگ,عنوان اصلي: 1989 ,Logik fur Informatiker,شونينگ,Schoning
کتابخانه: کتابخانه آیت الله حاج شیخ هاشم قزوینی (آستان قدس رضوی ع) (خراسان رضوی)
موضوع : منطق رياضي,برنامه‌نويسي منطقي
رده :
۵۱۱
/
۳
ش
۷۳۶
م
20. منطق براي علوم کامپيوتر
پدیدآورنده : / تاليف: اوو شئونيگ,عنوان اصلي: 1989 ,Logik fur Informatiker,شونينگ,Schoning
کتابخانه: كتابخانه آيت الله وزيری (آستان قدس رضوی ع) (یزد)
موضوع : منطق رياضي,برنامه‌نويسي منطقي
رده :
۵۱۱
/
۳
ش
۷۳۶
م
